#!/usr/bin/env bash

# Design of this script considered the following:
#  minimize dependencies
#  minimize output during initialization (just make commands)
#  build output to stderr
#  better commandline editing where possible

make -q || make >&2 || exit 1

if command which rlwrap >&/dev/null
then
  rlwrap -C wart ./wart_bin $*
else
  ./wart_bin $*
fi
